365 research outputs found

    A distinct sortase SrtB anchors and processes a streptococcal adhesin AbpA with a novel structural property.

    Get PDF
    Surface display of proteins by sortases in Gram-positive bacteria is crucial for bacterial fitness and virulence. We found a unique gene locus encoding an amylase-binding adhesin AbpA and a sortase B in oral streptococci. AbpA possesses a new distinct C-terminal cell wall sorting signal. We demonstrated that this C-terminal motif is required for anchoring AbpA to cell wall. In vitro and in vivo studies revealed that SrtB has dual functions, anchoring AbpA to the cell wall and processing AbpA into a ladder profile. Solution structure of AbpA determined by NMR reveals a novel structure comprising a small globular α/β domain and an extended coiled-coil heliacal domain. Structural and biochemical studies identified key residues that are crucial for amylase binding. Taken together, our studies document a unique sortase/adhesion substrate system in streptococci adapted to the oral environment rich in salivary amylase

    Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

    Full text link
    Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the ε\varepsilon-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

    Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis

    Full text link
    We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified by parameters, rather than concrete values. Our goal is to synthesize values of these parameters that, for a given cost function, minimise expected total cost incurred before reaching a given set of target states. We show that under mild assumptions, optimal values of parameters can be effectively approximated using translation to a Markov decision process (MDP) whose actions correspond to discretized values of these parameters

    Mutations in MITF and PAX3 Cause “Splashed White” and Other White Spotting Phenotypes in Horses

    Get PDF
    During fetal development neural-crest-derived melanoblasts migrate across the entire body surface and differentiate into melanocytes, the pigment-producing cells. Alterations in this precisely regulated process can lead to white spotting patterns. White spotting patterns in horses are a complex trait with a large phenotypic variance ranging from minimal white markings up to completely white horses. The “splashed white” pattern is primarily characterized by an extremely large blaze, often accompanied by extended white markings at the distal limbs and blue eyes. Some, but not all, splashed white horses are deaf. We analyzed a Quarter Horse family segregating for the splashed white coat color. Genome-wide linkage analysis in 31 horses gave a positive LOD score of 1.6 in a region on chromosome 6 containing the PAX3 gene. However, the linkage data were not in agreement with a monogenic inheritance of a single fully penetrant mutation. We sequenced the PAX3 gene and identified a missense mutation in some, but not all, splashed white Quarter Horses. Genome-wide association analysis indicated a potential second signal near MITF. We therefore sequenced the MITF gene and found a 10 bp insertion in the melanocyte-specific promoter. The MITF promoter variant was present in some splashed white Quarter Horses from the studied family, but also in splashed white horses from other horse breeds. Finally, we identified two additional non-synonymous mutations in the MITF gene in unrelated horses with white spotting phenotypes. Thus, several independent mutations in MITF and PAX3 together with known variants in the EDNRB and KIT genes explain a large proportion of horses with the more extreme white spotting phenotypes

    Fluorescent Fusion Proteins of Soluble Guanylyl Cyclase Indicate Proximity of the Heme Nitric Oxide Domain and Catalytic Domain

    Get PDF
    BACKGROUND: To examine the structural organisation of heterodimeric soluble guanylyl cyclase (sGC) Förster resonance energy transfer (FRET) was measured between fluorescent proteins fused to the amino- and carboxy-terminal ends of the sGC beta1 and alpha subunits. METHODOLOGY/PRINCIPAL FINDINGS: Cyan fluorescent protein (CFP) was used as FRET donor and yellow fluorescent protein (YFP) as FRET acceptor. After generation of recombinant baculovirus, fluorescent-tagged sGC subunits were co-expressed in Sf9 cells. Fluorescent variants of sGC were analyzed in vitro in cytosolic fractions by sensitized emission FRET. Co-expression of the amino-terminally tagged alpha subunits with the carboxy-terminally tagged beta1 subunit resulted in an enzyme complex that showed a FRET efficiency of 10% similar to fluorescent proteins separated by a helix of only 48 amino acids. Because these findings indicated that the amino-terminus of the alpha subunits is close to the carboxy-terminus of the beta1 subunit we constructed fusion proteins where both subunits are connected by a fluorescent protein. The resulting constructs were not only fluorescent, they also showed preserved enzyme activity and regulation by NO. CONCLUSIONS/SIGNIFICANCE: Based on the ability of an amino-terminal fragment of the beta1 subunit to inhibit activity of an heterodimer consisting only of the catalytic domains (alphacatbetacat), Winger and Marletta (Biochemistry 2005, 44:4083-90) have proposed a direct interaction of the amino-terminal region of beta1 with the catalytic domains. In support of such a concept of "trans" regulation of sGC activity by the H-NOX domains our results indicate that the domains within sGC are organized in a way that allows for direct interaction of the amino-terminal regulatory domains with the carboxy-terminal catalytic region. In addition, we constructed "fluorescent-conjoined" sGC's by fusion of the alpha amino-terminus to the beta1 carboxy-terminus leading to a monomeric, fluorescent and functional enzyme complex. To our knowledge this represents the first example where a fluorescent protein links two different subunits of a higher ordered complex to yield a stoichometrically fixed functionally active monomer

    Scans for signatures of selection in Russian cattle breed genomes reveal new candidate genes for environmental adaptation and acclimation

    Get PDF
    Domestication and selective breeding has resulted in over 1000 extant cattle breeds. Many of these breeds do not excel in important traits but are adapted to local environments. These adaptations are a valuable source of genetic material for efforts to improve commercial breeds. As a step toward this goal we identified candidate regions to be under selection in genomes of nine Russian native cattle breeds adapted to survive in harsh climates. After comparing our data to other breeds of European and Asian origins we found known and novel candidate genes that could potentially be related to domestication, economically important traits and environmental adaptations in cattle. The Russian cattle breed genomes contained regions under putative selection with genes that may be related to adaptations to harsh environments (e.g., AQP5, RAD50, and RETREG1). We found genomic signatures of selective sweeps near key genes related to economically important traits, such as the milk production (e.g., DGAT1, ABCG2), growth (e.g., XKR4), and reproduction (e.g., CSF2). Our data point to candidate genes which should be included in future studies attempting to identify genes to improve the extant breeds and facilitate generation of commercial breeds that fit better into the environments of Russia and other countries with similar climates

    A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques

    Get PDF
    In the design of probabilistic timed systems, requirements concerning behaviour that occurs within a given time or energy budget are of central importance. We observe that model-checking such requirements for probabilistic timed automata can be reduced to checking reward-bounded properties on Markov decision processes. This is traditionally implemented by unfolding the model according to the bound, or by solving a sequence of linear programs. Neither scales well to large models. Using value iteration in place of linear programming achieves scalability but accumulates approximation error. In this paper, we correct the value iteration-based scheme, present two new approaches based on scheduler enumeration and state elimination, and compare the practical performance and scalability of all techniques on a number of case studies from the literature. We show that state elimination can significantly reduce runtime for large models or high bounds

    Quantitative Microscopy Reveals Centromeric Chromatin Stability, Size, and Cell Cycle Mechanisms to Maintain Centromere Homeostasis

    Get PDF
    The deposited item is a book chapter and is part of the series "Centromeres and Kinetochores" published by the publisher Springer Verlag. The deposited book chapter is a post-print version and has been submitted to peer reviewing. There is no public supplementary material available for this publication. This publication hasn't any creative commons license associated.Centromeres are chromatin domains specified by nucleosomes containing the histone H3 variant, CENP-A. This unique centromeric structure is at the heart of a strong self-templating epigenetic mechanism that renders centromeres heritable. We review how specific quantitative microscopy approaches have contributed to the determination of the copy number, architecture, size, and dynamics of centromeric chromatin and its associated centromere complex and kinetochore. These efforts revealed that the key to long-term centromere maintenance is the slow turnover of CENP-A nucleosomes, a critical size of the chromatin domain and its cell cycle-coupled replication. These features come together to maintain homeostasis of a chromatin locus that directs its own epigenetic inheritance and facilitates the assembly of the mitotic kinetochore.There are no funders and sponsors indicated explicitly in the document.info:eu-repo/semantics/publishedVersio
    corecore